<header>Archief decomprimeren?</header>

Deze optie moet correct gezet zijn indien u een gzip of bgzip gecomprimeerd archief wilt
herstellen.
Indien deze optie niet juist ingesteld staat zal het herstellen mislukken. <p>

<hr>

